Corelab Seminar
2018-2019
Stavros Tripakis
Recent Work in the Science of Software and Systems
Abstract.
Science is knowledge that helps us make predictions. This talk gives an
overview of some of our recent work on this broad topic, and in
particular: (1) the Refinement Calculus of Reactive Systems, a
compositional modeling and formal reasoning framework; (2) synthesis
from scenarios and requirements, a combination of learning from examples
and synthesis from specifications; and (3) synthesis of platform
mappings with applications to security.